TSTP Solution File: NUM736^1 by S-SETHEO---0.0